Concolic testing - PDFSEARCH.IO - Document Search Engine

Concolic testing
Results: 54

#	Item
11	Symbolic execution - model equivalence & applications Matei Popovici, Radu Stoenescu, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest 1. NETWORK SYMBOLIC EXECUTION Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2016-07-31 22:09:03 Abstract interpretation Symbolic execution Program optimization APL Concolic testing
12	Automatic Patch-Based Exploit Generation is Possible: Techniques and Implications David Brumley, Pongsin Poosankam Dawn Song Jiang Zheng {dbrumley,ppoosank}@cs.cmu.edu Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software testing Software bugs Hacking Buffer overflow Computer memory Vulnerability Static single assignment form Exploit Patch Test data generation Concolic testing
13	RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Constraint Program optimization Concolic testing Constraint logic programming
14	Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler? Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A. Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Software testing Reference Constraint satisfaction problem Const Parameter Concolic testing Constraint logic programming
15	Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden Add to Reading List Source URL: hexhive.github.io Language: English - Date: 2016-06-13 11:08:40 Software engineering Computer programming Programming language theory Abstract interpretation Symbolic execution Program analysis KeY Disassembler Pattern matching Forth Symbolic Concolic testing
16	Using Concolic Testing to Refine Vulnerability Profiles in F UZZBUSTER David J. Musliner, Jeffrey M. Rye, Tom Marble Smart Information Flow Technologies (SIFT) Minneapolis, MN, USA Email: {dmusliner, jrye, tmarble}@sift. Add to Reading List Source URL: musliner.com Language: English - Date: 2013-05-01 13:55:59
17	Control Flow Obfuscation using Neural Network to Fight Concolic Testing? Haoyu Ma1 , Xinjie Ma1 , Weijie Liu1 , Zhipeng Huang1 , Debin Gao2 , and Chunfu Jia1 1 Add to Reading List Source URL: flyer.sis.smu.edu.sg Language: English - Date: 2015-01-04 20:08:52
18	Test Generation through Programming in UDITA Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-02-11 09:29:21 Software testing Java Pathfinder Concolic testing Unit testing KeY Symbolic execution Null Object pattern D Test automation Computing Software engineering Computer programming
19	Billions and Billions of Constraints: Whitebox Fuzz Testing in Production Ella Bounimova Patrice Godefroid Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-03-15 15:23:34 Theoretical computer science Constraint programming Fuzz testing Symbolic execution KeY Sage Constraint optimization Concolic testing Software testing Mathematical software Software engineering
20	Symbolic Execution for Software Testing in Practice – Preliminary Assessment Imperial College London Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-04-25 20:08:55 Computing Concolic testing Symbolic execution Java Pathfinder Test Data Generation Fuzz testing KeY Model checking Dynamic program analysis Software testing Formal methods Software development